Pagetti, Claire : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (30)
Les plus populaires
Liste
- Liste
- Tableau

1

[ACM Press the 26th International Conference - Chasseneuil-du-Poitou, France (2018.10.10-2018.10.12)] Proceedings of the 26th International Conference on Real-Time Networks and Systems - RTNS '18 - Automated generation of time-predictable executables on multicore

Pagetti, Claire, Forget, Julien, Falk, Heiko, Oehlert, Dominic, Luppold, Arno

Année:

2018

Langue:

english

Fichier:

PDF, 653 KB

english, 2018

2

Multi-task Implementation of Multi-periodic Synchronous Programs

Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens

Journal:

Discrete Event Dynamic Systems

Année:

2011

Langue:

english

Fichier:

PDF, 717 KB

english, 2011

3

Off-line mapping of multi-rate dependent task sets to many-core platforms

Puffitsch, Wolfgang, Noulard, Eric, Pagetti, Claire

Journal:

Real-Time Systems

Année:

2015

Langue:

english

Fichier:

PDF, 1.25 MB

english, 2015

4

[ACM Press the 24th International Conference - Brest, France (2016.10.19-2016.10.21)] Proceedings of the 24th International Conference on Real-Time Networks and Systems - RTNS '16 - Mapping hard real-time applications on many-core processors

Perret, Quentin, Maurère, Pascal, Noulard, Éric, Pagetti, Claire, Sainrat, Pascal, Triquet, Benoît

Année:

2016

Langue:

english

Fichier:

PDF, 617 KB

english, 2016

5

[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications

Nguyen, Thanh-Dat, Ouhammou, Yassine, Grolleau, Emmanuel, Forget, Julien, Pagetti, Claire, Richard, Pascal

Année:

2018

Langue:

english

Fichier:

PDF, 264 KB

english, 2018

6

Verification of real-time systems with preemption: negative and positive results

Frédéric Boniol, Jérôme Ermont, Claire Pagetti

Journal:

Innovations in Systems and Software Engineering

Année:

2009

Langue:

english

Fichier:

PDF, 969 KB

english, 2009

7

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks

Baro, Julie, Boniol, Frédéric, Cordovilla, Mikel, Noulard, Eric, Pagetti, Claire

Année:

2012

Langue:

english

Fichier:

PDF, 582 KB

english, 2012

8

[IEEE Factory Automation (ETFA 2011) - Toulouse, France (2011.09.5-2011.09.9)] ETFA2011 - Dynamic priority scheduling of periodic tasks with extended precedences

Forget, Mien, Grolleau, Emmanuel, Pagetti, Claire, Richard, Pascal

Année:

2011

Langue:

english

Fichier:

PDF, 1.72 MB

english, 2011

9

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Worst Case Temporal Consistency in Integrated Modular Avionics Systems

Lauer, Michaël, Ermont, Jerome, Boniol, Frederic, Pagetti, Claire

Année:

2011

Langue:

english

Fichier:

PDF, 260 KB

english, 2011

10

[IEEE Factory Automation (ETFA 2011) - Toulouse, France (2011.09.5-2011.09.9)] ETFA2011 - Latency and freshness analysis on IMA systems

Lauer, Michael, Ermont, Jerome, Boniol, Frederic, Pagetti, Claire

Année:

2011

Langue:

english

Fichier:

PDF, 2.01 MB

english, 2011

11

[IEEE Embedded Technology and Applications Symposium (RTAS) - Stockholm, Sweden (2010.04.12-2010.04.15)] 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium - Scheduling Dependent Periodic Tasks without Synchronization Mechanisms

Forget, Julien, Boniol, Frédéric, Grolleau, Emmanuel, Lesens, David, Pagetti, Claire

Année:

2010

Langue:

english

Fichier:

PDF, 389 KB

english, 2010

12

[IEEE 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Delft, Netherlands (2013.10.30-2013.11.1)] 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications - Distributed Simulation of Heterogeneous and Real-Time Systems

Lasnier, Gilles, Cardoso, Janette, Siron, Pierre, Pagetti, Claire, Derler, Patricia

Année:

2013

Langue:

english

Fichier:

PDF, 1.29 MB

english, 2013

13

[IEEE 2014 26th Euromicro Conference on Real-Time Systems (ECRTS) - Madrid, Spain (2014.7.8-2014.7.11)] 2014 26th Euromicro Conference on Real-Time Systems - Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems

Kritikakou, Angeliki, Pagetti, Claire, Baldellon, Olivier, Roy, Matthieu, Rochange, Christine

Année:

2014

Langue:

english

Fichier:

PDF, 380 KB

english, 2014

14

[IEEE 2008 IEEE 11th High-Assurance Systems Engineering Symposium (HASE) - Nanjing, China (2008.12.3-2008.12.5)] 2008 11th IEEE High Assurance Systems Engineering Symposium - A Multi-Periodic Synchronous Data-Flow Language

Forget, Julien, Boniol, Frédéric, Lesens, David, Pagetti, Claire

Année:

2008

Langue:

english

Fichier:

PDF, 322 KB

english, 2008

15

[IEEE 2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Berlin, Germany (2014.4.15-2014.4.17)] 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - The ROSACE case study: From Simulink specification to multi/many-core execution

Pagetti, Claire, Saussie, David, Gratia, Romain, Noulard, Eric, Siron, Pierre

Année:

2014

Langue:

english

Fichier:

PDF, 3.41 MB

english, 2014

16

Preliminary design of future reconfigurable IMA platforms

Bieber, Pierre, Noulard, Eric, Pagetti, Claire, Planche, Thierry, Vialard, Francois

Journal:

ACM SIGBED Review

Année:

2009

Langue:

english

Fichier:

PDF, 189 KB

english, 2009

17

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - A real-time architecture design language for multi-rate embedded control systems

Forget, Julien, Boniol, Frédéric, Lesens, David, Pagetti, Claire

Année:

2010

Langue:

english

Fichier:

PDF, 466 KB

english, 2010

18

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - Multiprocessor schedulability analyser

Cordovilla, Mikel, Boniol, Frédéric, Noulard, Eric, Pagetti, Claire

Année:

2011

Langue:

english

Fichier:

PDF, 718 KB

english, 2011

19

[ACM Press the 5th ACM international conference - Jersey City, NJ, USA (2005.09.18-2005.09.22)] Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05 - Synchronization of periodic clocks

Cohen, Albert, Duranton, Marc, Eisenbeis, Christine, Pagetti, Claire, Plateau, Florence, Pouzet, Marc

Année:

2005

Langue:

english

Fichier:

PDF, 101 KB

english, 2005

20

[ACM Press the 11th International Workshop - Karlsruhe, Germany (2013.10.09-2013.10.10)] Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '13 - Explicit precedence constraints in safety-critical Java

Puffitsch, Wolfgang, Noulard, Eric, Pagetti, Claire

Année:

2013

Langue:

english

Fichier:

PDF, 163 KB

english, 2013

21

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - A complete toolchain for an interference-free deployment of avionic applications on multi-core systems

Girbal, Sylvain, Perez, Daniel Gracia, Le Rhun, Jimmy, Faugere, Madeleine, Pagetti, Claire, Durrieu, Guy

Année:

2015

Langue:

english

Fichier:

PDF, 1.97 MB

english, 2015

22

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - A complete tool-chain for an interference-free deployment of avionic applications on multi-core systems

Girbal, Sylvain, Perez, Daniel Gracia, Le Rhun, Jimmy, Faugere, Madeleine, Pagetti, Claire, Durrieu, Guy

Année:

2015

Langue:

english

Fichier:

PDF, 5.24 MB

english, 2015

23

[IEEE 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Vienna, Austria (2016.4.11-2016.4.14)] 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Temporal Isolation of Hard Real-Time Applications on Many-Core Processors

Perret, Quentin, Maurere, Pascal, Noulard, Eric, Pagetti, Claire, Sainrat, Pascal, Triquet, Benoit

Année:

2016

Langue:

english

Fichier:

PDF, 448 KB

english, 2016

24

N -synchronous Kahn networks

Cohen, Albert, Duranton, Marc, Eisenbeis, Christine, Pagetti, Claire, Plateau, Florence, Pouzet, Marc

Journal:

ACM SIGPLAN Notices

Année:

2006

Langue:

english

Fichier:

PDF, 220 KB

english, 2006

25

End-to-end latency and temporal consistency analysis in networked real-time systems

Lauer, Michaël, Boniol, Frédéric, Pagetti, Claire, Ermont, Jérôme

Journal:

International Journal of Critical Computer-Based Systems

Année:

2014

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2014

26

[IEEE 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES) - Toulouse, France (2017.6.14-2017.6.16)] 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES) - SMT-based architecture modelling for safety assessment

Delmas, Kevin, Delmas, Remi, Pagetti, Claire

Année:

2017

Langue:

english

Fichier:

PDF, 272 KB

english, 2017

27

[IEEE 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Limassol (2017.9.12-2017.9.15)] 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Verifying end-to-end real-time constraints on multi-periodic models

Forget, Julien, Boniol, Frederic, Pagetti, Claire

Année:

2017

Langue:

english

Fichier:

PDF, 448 KB

english, 2017

28

[IEEE 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) - London, United Kingdom (2018.9.23-2018.9.27)] 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) - PHYLOG: A model-based certification framework

Boniol, Frederic, Bouchebaba, Youcef, Brunel, Julien, Delmas, Kevin, Pagetti, Claire, Polacsek, Thomas, Sensfelder, Nathanael

Année:

2018

Langue:

english

Fichier:

PDF, 229 KB

english, 2018

29

[IEEE 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) - Hangzhou, China (2019.1.3-2019.1.5)] 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) - Identification of Multi-Core Interference

Boniol, Frederic, Pagetti, Claire, Sensfelder, Nathanael

Année:

2019

Langue:

english

Fichier:

PDF, 38 KB

english, 2019

30

GRec

Durrieu, Guy, Pagetti, Claire

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2019

Langue:

english

Fichier:

PDF, 1.21 MB

english, 2019